VAL (01, 0x0)
VAL (02, 0x1)
VAL (03, 0x3f)
VAL (04, 0x80)
VAL (07, 0x4000000000000000)
VAL (08, 0x4000000000000000)
VAL (10, 0x7fffffffffffffff)
VAL (12, 0x7f80000000000000)
VAL (14, 0x7f80000000000001)
VAL (16, 0x7f7f7f7f7f7f7f7f)
VAL (18, 0x7f80808080808000)
VAL (20, 0x3e80000000000000)
VAL (22, 0x3f80000000000000)
VAL (24, 0x40000000000000)
VAL (26, 0x3f000000000000)
VAL (28, 0xffffff00)
VAL (30, 0x00ff00ff00ff00ff)

VAL (99, 0x8000000000000000)

